An extension field <i>E</i> of a field <i>F</i> is a field  that contains <I>F</i>   and for which the operations of <I>F</I> are those of <I>E</i> restricted to <I>F</i>.